Logical syntax - PDFSEARCH.IO - Document Search Engine

Logical syntax
Results: 623

#	Item
491	Forensic Signature Examination Results Certificate for participant Fausto Brugnatelli Add to Reading List Source URL: www.examina.net Language: English - Date: 2010-02-10 13:34:27 Mental content Philosophy of language Proposition Propositional calculus Statements Linguistics Logic Philosophy of mind Logical syntax
492	Minimal Valid Inequalities for Integer Constraints Valentin Borozan LIF, Facult´e des Sciences de Luminy, Universit´e de Marseille, France [removed] and G´erard Cornu´ejols ∗ Add to Reading List Source URL: integer.tepper.cmu.edu Language: English - Date: 2008-12-01 16:54:09 Deduction Entailment Logical consequence Logical syntax Metalogic Convex function Cone Linear temporal logic Logic Mathematical analysis Mathematics
493	April 29, 2010 — Final version for proceedings of LICS’10 1 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-04-29 08:06:06 Mathematical logic Formal languages Propositional calculus Golden ratio Well-formed formula Entailment Linear temporal logic Principia Mathematica Logic Logical syntax Metalogic
494	Index of syntactic variables appearing in R. Carnap’s Logical Syntax of Language (English translation, [removed]For errors or additions, please e-mail Douglas Marshall at [removed]. Syntactic Variable: Ran Add to Reading List Source URL: www.carnap.org Language: English - Date: 2005-11-07 12:18:27 Mathematical logic Propositional calculus Semantics Function Propositional variable Predicate variable Term Expression Predicate Logic Mathematics Predicate logic
495	Microsoft Word - ASL_Specs_V6_16th_Aug.docx Add to Reading List Source URL: 49.50.126.244 Language: English - Date: 2013-12-02 00:35:10 Mathematical logic Mental content Ontology Proposition Statements Multiple choice Linguistics Logic Philosophy of mind Logical syntax
496	The SAT01 framework for N P problems ∗ Stanislav Busygin [removed] Add to Reading List Source URL: www.stasbusygin.org Language: English - Date: 2009-02-11 00:35:51 Algebra Logical syntax Variables Linear equation Linear programming Local consistency Polynomial Mathematics Equations Operations research
497	Inferring the Proof Process Andrius Velykis School of Computing Science, Newcastle University, UK [removed] Abstract. This PhD project aims to investigate how enough information can be collected fr Add to Reading List Source URL: andrius.velykis.lt Language: English - Date: 2014-04-07 06:29:40 Theoretical computer science Formal methods Proof theory Logical syntax Logical truth Mathematical proof Isabelle Proof assistant IsaPlanner Logic Automated theorem proving Mathematics
498	CML2 Language and Tools Description The Kernel Configuration Menu Language Eric Steven Raymond Thyrsus Enterprises (http://www.tuxedo.org/~esr) [removed] Add to Reading List Source URL: kernelbook.sourceforge.net Language: English - Date: 2001-11-02 11:04:18 Metalogic Syntax Menu Symbol Well-formed formula Formal grammar String Configuration file Formal languages Logic Logical syntax
499	Metamath A Computer Language for Pure Mathematics Norman Megill ∼ Public Domain ∼ Add to Reading List Source URL: de.metamath.org Language: English - Date: 2014-06-27 17:40:55 Formal methods Logical syntax Formal languages Metamath Set theory Automated proof checking Axiom Automated theorem proving First-order logic Logic Mathematics Mathematical logic
500	A Logical Basis for the D Combinator and Normal Form in CCG Frederick Hoyt and Jason Baldridge The Department of Linguistics The University of Texas at Austin {fmhoyt,jbaldrid}@mail.utexas.edu Add to Reading List Source URL: fmhoyt.colliertech.org Language: English - Date: 2011-12-12 22:35:37 Mathematical logic Lambda calculus Formal languages Combinatory categorial grammar Categorial grammar Fixed-point combinator Functor Syntax Function Mathematics Theoretical computer science Combinatory logic

UPDATE